grammar derivations